翻訳と辞書 Words near each other ・ Harald Espelund ・ Harald Ettl ・ Harald Fairhair ・ Harald Fairhair's campaign in Götaland ・ Harald Feller ・ Harald Feller (organist) ・ Harald Fischer ・ Harald Fischer-Tiné ・ Harald Freiherr von Elverfeldt ・ Harald Fritzsch ・ Harald Fuchs ・ Harald Furre ・ Harald Færstad ・ Harald G. Petersson ・ Harald Gaier ・ Harald Ganzinger ・ Harald Garcke ・ Harald Gedda ・ Harald Gelhaus ・ Harald Genzmer ・ Harald George Carlos Swayne ・ Harald Giersing ・ Harald Gille ・ Harald Gimpel ・ Harald Gjein ・ Harald Gram ・ Harald Granraude ・ Harald Grenske ・ Harald Greycloak ・ Harald Griebel Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Harald Ganzinger ： ウィキペディア英語版 Harald Ganzinger Harald Ganzinger (31 October 1950, Werneck – 3 June 2004, Saarbrücken) was a German computer scientist who together with Leo Bachmair developed the superposition calculus, which is (as of 2007) used in most of the state-of-the-art automated theorem provers for first-order logic. He received his Ph.D. from the Technical University of Munich in 1978. Before 1991 he was a Professor of Computer Science at University of Dortmund. Then he joined the Max Planck Institute for Computer Science in Saarbrücken shortly after it was founded in 1991. Until 2004 he was the Director of the Programming Logics department of the Max Planck Institute for Computer Science and honorary professor at Saarland University. His research group created the SPASS automated theorem prover. He received the Herbrand Award in 2004 (posthumous) for his important contributions to automated theorem proving. ==References== *''(Rewrite-Based Equational Theorem Proving with Selection and Simplification )'', Leo Bachmair and Harald Ganzinger, Journal of Logic and Computation 3(4), 1994. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Harald Ganzinger」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.